# CMakeLists.txt
cmake_minimum_required(VERSION 3.12)
project(sat LANGUAGES CXX)

# Set C++ standard
set(sat_CXX_STANDARD "17" CACHE STRING "C++ standard")
set(CMAKE_CXX_STANDARD ${sat_CXX_STANDARD})
set(CMAKE_CXX_STANDARD_REQUIRED ON)

# Options
option(sat_EXAMPLES "Build examples" ON)

add_compile_options(-O4 -W -Wall -Wextra)


if(sat_EXAMPLES)
  add_subdirectory(examples/sat)
endif()

find_package(OpenMP REQUIRED)
if(OpenMP_CXX_FOUND)
  add_compile_options(${OpenMP_CXX_FLAGS})
endif()